$i$ $\leq$ $j$ $\leq$ $k$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($i$ $\leq$ $j$) \& ($j$ $\leq$ $k$)